Nuprl Definition : norm_subgrp 13,42
NormSubGrp{i}(g) == {s:|g|| s SubGrp of g & norm_subset_p(g;s)}  
latex

clarification:

NormSubGrp{i}(g) == {s:|g|{i}| s SubGrp of g & norm_subset_p(g;s)}  
latex

Upgroups 1
Wellformedness Lemmasnorm subgrp wf
Definitions|g|, , P & Q, s SubGrp of g, norm_subset_p(g;s)

origin